normal monomorphism

См. также в других словарях:

• Normal morphism — In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is… …   Wikipedia

• Kernel (category theory) — In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms and the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel… …   Wikipedia

• Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… …   Wikipedia

• Morphism — In mathematics, a morphism is an abstraction derived from structure preserving mappings between two mathematical structures. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear… …   Wikipedia

• Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… …   Wikipedia

• evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… …   Universalium

• Depth of noncommutative subrings — In ring theory and Frobenius algebra extensions, fields of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf …   Wikipedia

• Glossary of category theory — This is a glossary of properties and concepts in category theory in mathematics.CategoriesA category A is said to be: * small provided that the class of all morphisms is a set (i.e., not a proper class); otherwise large. * locally small provided… …   Wikipedia

• Group homomorphism — In mathematics, given two groups ( G , *) and ( H , ·), a group homomorphism from ( G , *) to ( H , ·) is a function h : G → H such that for all u and v in G it holds that: h(u*v) = h(u) h(v) where the group operation on the left hand side of the …   Wikipedia

• Exact sequence — In mathematics, especially in homological algebra and other applications of abelian category theory, as well as in differential geometry and group theory, an exact sequence is a (finite or infinite) sequence of objects and morphisms between them… …   Wikipedia

• Cokernel — Coker (mathematics) redirects here. For other uses, see Coker (disambiguation). In mathematics, the cokernel of a linear mapping of vector spaces f : X → Y is the quotient space Y/im(f) of the codomain of f by the image of f. Cokernels are… …   Wikipedia